معرفی و کاربردهایی از آنالیز غیراستاندارد در مکانیک
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان
- author سعید ضیایی راد
- adviser مجتبی محزون
- Number of pages: First 15 pages
- publication year 1369
abstract
اعداد بی نهایت کوچک و بی نهایت بزرگ از زمانهای قدیم برای اثبات قضایا محاسبهء سطوح و غیره در ریاضیات و فیزیک مورد استفاده قرار می گرفتند. ولی بعدا" به دلیل تناقضات منطقی از ریاضیات کنار گذاشته شدند تا اینکه در سال 1966 توسط ابراهام رابینسون مبانی منطقی محکمی، که سبب احیاء مجدد آنها شد، برای آنها ارائه گردید. در این سال رساله آنالیز غیر استاندارد یا به عبارت دیگر اعداد بی نهایت کوچک و بینهایت بزرگ به روشی دقیق و اصولی معرفی می گردند. و سپس کاربردهایی از آن در مکانیک بیان می گردد.این مجموعه مشتمل بر هفت فصل می باشد. در فصل اول بمنظور معرفی آنالیز غیراستاندارد، توضیحاتی آورده شده است . در فصل دوم، با معرفی رابطهء هم ارزی مناسبی روی مجموعهء کلیه دنباله های تعریف شده روی r، اعداد بی نهایت کوچک و بینهایت بزرگ معرفی می گردند. به این ترتیب مجموعهءr * که توسیعی از r، شامل اعداد حقیقی اعداد بی نهایت کوچک و بی نهایت بزرگ است ، بدست می آید. سپس توابع، روابط و جملات صحیح در r به r * توسعه داده می شدند. و به این ترتیب ثابت می شود که همان روابطی که در مجموعهءاعداد حقیقی مورد استفاده قرار می گیرند را می توان برای این مجموعه توسعه یافته نیز به کار برد. در فصل سوم، کابردهائی از این روش برای اثبات بعضی از قضایای مقدماتی حساب دیفرانسیل و انتگرال را میتوان براساس آنالیزغیراستاندارد بنیان نهاد. در فصل چهارم یک روش اصولی برای بیان آنالیز غیراستاندارد ارائه گردیده است . در این روش با اضافه نمودن سه اصل استنتاجی دیگر به اصول نظریه مجموعه ها، آنالیز غیر استاندارد را میتوان نتیجه گرفت . در فصل پنجم، دو دیدگاه دیگربه طور مختصر بیان شده است . این دو دیدگاه یکی دیدگاه رابینسون و دیگری دیدگاه لوتز است . در فصل ششم کاربردهائی از آنالیز غیراستاندارد آورده شده است . این کاربردها نشان دهنده آنست که این روش می تواند باعث ساده تر شدن اثباتها یا ارائه تعابیرمناسبتری برای پدیده های فیزیکی گردد. کاربردهائی که درنظر گرفته شده اند عبارتند از : تابع گرین غیر استاندارد و کاربرد آن در معادله شرودینگر، پدیده غلتش ، معادلهء ارتعاش تار، اثباتی برای اصل سن و نان در تئوری الاستیسیته و اصلی مشابه آن در سیالات . درفصل هفتم تاریخچه مختصری از حساب دیفرانسیل و انتگرال در ارتباط با آنالیز غیراستاندارد آورده شده است .
similar resources
آنالیز غیراستاندارد
از ابتدای پیدایش حساب دیفرانسیل و انتگرال تاکنون، ایده بی نهایت کوچکها ابزار شهودی مناسبی برای یافتن نتایج جدید در آنالیز بوده است. لایب نیتز می گفت «من به آنها ایمان دارم هرچند توجیه کافی برای آنها ندارم». حدود چهل سال پیش، آبراهام رابینسون با ارائه مدلی هم ارز با مدل مقدماتی ولی غیریکریخت با هیات اعداد حقیقی در زبان هیات، نشان داد که بی نهایت کوچک ها همراه بی نهایت بزرگ ها از مشروعیت برخوردارند.
full textThe effect of cyclosporine on asymmetric antibodies and serum transforming growth factor beta1 in abortion-prone model of mice CBA/J x DBA/2
كچ ي هد فده و هقباس : ي ک ي طقس زورب للع زا اه ي ،ررکم ا لماوع تلاخد ي ژولونوم ي ک ا رد ي ن قم طققس عون ي وراد دقشاب ي س ي روپسولک ي ،ن ح لدم رد طقس شهاک بجوم ي ناو ي CBA/j×DBA/2 م ي تنآ ددرگ ي داب ي اه ي ان و راققتم TGF-β لماوع زا عت مهم يي ن گلماح تشونرس هدننک ي سررب روظنم هب رضاح هعلاطم تسا ي ات ث ي ر اس ي روپسولک ي ن م رب ي از ا ي ن تنآ عون ي داب ي س و اه ي اکوت ي ن TGF...
full textThe Study of Stressful Factors in Clinical Education for Nursing Students Studying in Nursing and Midwifery College in Khorramabad
کچ هدي پ شي مز هني فده و : شزومآ لاب يني شخب ساسا ي شزومآ مهم و راتسرپ ي تسا . و هنوگ ره دوج لکشم ي شزومآ رد لاب يني ، آراک يي هدزاب و ا ني شزومآ زا شخب راچد ار لکشم م ي دنک . فده اب رضاح شهوژپ سررب ي لماوع سرتسا از ي شزومآ لاب يني رد وجشناد ناي راتسرپ ي هدکشناد راتسرپ ي و يامام ي ماـجنا داـبآ مرـخ تسا هتفرگ . شور و داوم راک : رضاح هعلاطم کي هعلاطم صوت يفي عطقم ي تسا . د...
full textمعرفی رهیافتی جامع در آموزش مهندسی مکانیک
در این مقاله رهیافتی جامع در مهندسی مکانیک معرفی و طبق آن دروس کلیدی این رشته در دوره کارشناسی در یک مجموعه منسجم با نگرشی سیستماتیک تجمیع شده است، به گونهای که دانشجو در برخورد با یک مسئله به جای جستجوی فرمولهای خاص برای حل آن، بتواند از قوانین و معادلات علمی که آموخته است، مدل مناسب مسئله خود را استنتاج کند و مسائل متنوعی را که از اصول و مدلهای مشابه تبعیت میکنند به صورت مجموعه های پراکن...
full textکاربردهایی از آتوماتای متناهی قطعی و غیرقطعی
مباحث مربوط به زبانهای صوری و مدلهای مناسب برای آنها، از مفاهیم پایه و اساسی در رشته علوم کامپیوتر است. از سادهترین مدلهای محاسبه، آتوماتای متناهی هستند. دلیل سادگی این نوع ماشینها این است که حافظه کمکی در آنها وجود ندارد؛ با وجود این، بسیاری از مسائل را میتوان با استفاده از آتوماتای متناهی حل کرد. در این مقاله مفهوم آتوماتون متناهی قطعی و غیرقطعی معرفی میشود. سپس از آتوماتای متناهی در...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023